$\mid$$g$//$h$$\mid$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$a$,$b$:$\mid$$g$$\mid$//$a$ $\equiv$ $b$ (mod $h$ in $g$)